Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
21	Introduction Bio-PEPA Bio-PEPAd Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-11-02 11:12:32 PEPA Process calculi Jane Hillston Process calculus
22	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
23	http://www.wischik.com/lu/research/oldnames.html Old Names for Nu Lucian Wischik, Microsoft. JuneAbstract. There is a gap between theory and implementation of the pi Add to Reading List Source URL: www.wischik.com Language: English - Date: 2005-01-27 16:22:38 Mathematics Theoretical computer science Logic Abstraction Process calculi -calculus Lambda calculus Process calculus Limit of a function Quantifier Sheaf Jet bundle
24	Introduction Compositionality: Interaction and Independence Applications and Acceptance Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:39:14 Process calculi Jane Hillston PEPA Laboratory for Foundations of Computer Science Markov chain Principle of compositionality Process calculus Edinburgh Philosophy Theoretical computer science
25	FBTCSome investigations concerning the CTMC and the ODE model derived from Bio-PEPA Federica Ciocchetta 1 ,a , Andrea Degasperi Jane Hillston 3 ,a and Muffy Calder 4 ,b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 03:56:15 Chemistry Chemical reaction engineering Nature Markov processes Markov models Chemical kinetics PEPA Process calculi Markov chain Stoichiometry Chemical reaction Rate equation
26	Introduction Interplay: Process Algebra and Markov Process Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:37:50 Process calculi Jane Hillston PEPA Markov chain Laboratory for Foundations of Computer Science Process calculus Algebra Edinburgh Theoretical computer science Mathematics TAPAs model checker
27	Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-11 05:00:03 Theoretical computer science Process calculi Jane Hillston PEPA Logic in computer science Metaphor Simulation Scientific modelling Stochastic Mathematical model Semantics Economic model
28	Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-10-17 04:53:23 Process calculi Theoretical computer science Formal methods Metaphor Simulation PEPA Jane Hillston Scientific modelling Stochastic Process calculus Economic model Semantics
29	Using the Pi-Calculus for Formalizing Workflow Patterns Frank Puhlmann Hasso-Plattner-Institute at the University of Potsdam http://bpt.hpi.uni-potsdam.de Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:03 Workflow technology Mathematics Software design patterns Process calculi Process management Theoretical computer science Workflow pattern Workflow Calculus -calculus Process calculus Pi
30	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern